大家在查： Blaise Pascal Pierre-Simon marquis de Laplace mathematic statistics Scientific Computing computing science mathematics textbooks Science Model the real world Formal system Friedrich Engels

Modern logic

网络现代逻辑；现代逻辑系统

Modern logic

Modern logic

Modern logic

现代逻辑

西方逻辑学发展的第二阶段是现代逻辑(modern logic) 的阶段, 它包括为解决数学基础问题而诞生的数理逻辑, 以及在数理逻辑的 …

现代逻辑系统

后来经过莱布尼兹、弗雷格等这些人类“伟大的头脑”又发展出了一套现代逻辑系统（Modern Logic）。亚里士多德是西方“分析” …

1

In such a program , whose motivation is purely philosophical , techniques of modern logic would have to be exploited to the utmost.

离开了对现代逻辑技术的充分挖掘和利用，要实现这个出自纯粹哲学动机的方案是不可能的。

3

Modern logic is divided into recursion theory , model theory , and proof theory , and is closely linked to theoretical computer science.

现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。

5

The agreement could be served as the approval on the position of modern logic in the field.

这种一致性在一定程度上可以看作是对现代逻辑在语言哲学中的作用的认可。

6

These applications of modern logic also made the theory of logic more progress conversely .

反过来，这些应用又刺激了逻辑理论本身取得更多的进步。

7

There is not essential difference between modern logic and traditional logic . The difference just is that the extent is not same.

现代逻辑和传统逻辑的研究，只是程度不同，精粗不同，广狭不同，并无基本性质的差别。

8

Summary of the National Symposium on Modern Logic , Philosophical Trends , No. 10 , 2002.

现代逻辑会议综述，《哲学动态》2002年第10 期。

9

Logical truth not only promoted the development of logic , but also improved that modern logic continuously .

“逻辑真 ”不仅推动了逻辑的发展，也使现代逻辑得到了不断的完善。

10

The Comparison Between the Traditional Logic and Modern Logic in Quantifier

传统逻辑与现代逻辑量词比较

热词推荐

大家在看